Intelligent agent for formal modelling of temporal multi-agent systems
نویسندگان
چکیده
منابع مشابه
Formal Modeling of Temporal Interaction Aspects in Multi-Agent Systems
Multi-agent interaction protocols play a crucial role in multi-agent systems (MAS) development. They are used to manage and to control interactions among several autonomous agents in a MAS. Their formal specification, as well as their verification, constitute an essential task for the design of MAS applications. Several approaches have been proposed to formally represent agent interaction proto...
متن کاملDESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework
This paper discusses an example of the application of a high-level modelling framework which supports both the specification and implementation of a system's conceptual design. This framework, DESIRE (framework for DEsign and Specification of Interacting REasoning components), explicitly models the knowledge, interaction, and coordination of complex tasks and reasoning capabilities in agent sys...
متن کاملIntelligent Multi-Agent Systems Generation
The article considers multi-agent systems, their use, their development process and operation. The study is aimed at modelling mechanisms for multi-agent systems agents’ generation, based on intelligent techniques. Agents’ generation method development will reduce development time and, just as importantly, will provide opportunities for the multi-agent systems expansion due to the generated com...
متن کاملFormal Framework for Adaptive Multi-Agent Systems
Evolution of software challenges multi-agent systems to be adaptive and the adaptation capabilities should be provided at both the agent level and the system level. In this paper, we study the adaptation of multi-agent systems from the system level and describe a formal framework for multi-agent systems with adaptation capabilities. In the framework, agents are indirectly inter-connected via ro...
متن کاملVariable Structure Behavioural Controller for Multi-agent Systems
In previous papers authors have considered agents as inertia-less self driven particles and designed a flocking algorithm. Application of this algorithm to agents with considerable inertial characteristics needs a behavioural controller. The controller uses the local information and helps every agent to imitate the desired behaviour as a member of the flocking frame which covers the main is...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Smart Sensing and Intelligent Systems
سال: 2020
ISSN: 1178-5608
DOI: 10.21307/ijssis-2020-003